package autogen;

import sketch.ounit.Values;
import treemap.TreeMap;
import junit.framework.TestCase;

public class TreeMapRemoveExpand_Auto_Gen extends TestCase {
public void testRemove_rep_0(){
  Integer[] is_0=new Integer[]{};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_1(){
  Integer[] is_0=new Integer[]{2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_2(){
  Integer[] is_0=new Integer[]{3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_3(){
  Integer[] is_0=new Integer[]{4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_4(){
  Integer[] is_0=new Integer[]{1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_5(){
  Integer[] is_0=new Integer[]{2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_6(){
  Integer[] is_0=new Integer[]{3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_7(){
  Integer[] is_0=new Integer[]{4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_8(){
  Integer[] is_0=new Integer[]{1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_9(){
  Integer[] is_0=new Integer[]{2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_10(){
  Integer[] is_0=new Integer[]{3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_11(){
  Integer[] is_0=new Integer[]{4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_12(){
  Integer[] is_0=new Integer[]{1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_13(){
  Integer[] is_0=new Integer[]{2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_14(){
  Integer[] is_0=new Integer[]{3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_15(){
  Integer[] is_0=new Integer[]{4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_16(){
  Integer[] is_0=new Integer[]{1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_17(){
  Integer[] is_0=new Integer[]{2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_18(){
  Integer[] is_0=new Integer[]{3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_19(){
  Integer[] is_0=new Integer[]{4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_20(){
  Integer[] is_0=new Integer[]{1,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_21(){
  Integer[] is_0=new Integer[]{2,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_22(){
  Integer[] is_0=new Integer[]{3,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_23(){
  Integer[] is_0=new Integer[]{4,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_24(){
  Integer[] is_0=new Integer[]{1,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_25(){
  Integer[] is_0=new Integer[]{2,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_26(){
  Integer[] is_0=new Integer[]{3,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_27(){
  Integer[] is_0=new Integer[]{4,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_28(){
  Integer[] is_0=new Integer[]{1,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_29(){
  Integer[] is_0=new Integer[]{2,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_30(){
  Integer[] is_0=new Integer[]{3,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_31(){
  Integer[] is_0=new Integer[]{4,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_32(){
  Integer[] is_0=new Integer[]{1,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_33(){
  Integer[] is_0=new Integer[]{2,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_34(){
  Integer[] is_0=new Integer[]{3,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_35(){
  Integer[] is_0=new Integer[]{4,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_36(){
  Integer[] is_0=new Integer[]{1,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_37(){
  Integer[] is_0=new Integer[]{2,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_38(){
  Integer[] is_0=new Integer[]{3,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_39(){
  Integer[] is_0=new Integer[]{4,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_40(){
  Integer[] is_0=new Integer[]{1,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_41(){
  Integer[] is_0=new Integer[]{2,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_42(){
  Integer[] is_0=new Integer[]{3,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_43(){
  Integer[] is_0=new Integer[]{4,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_44(){
  Integer[] is_0=new Integer[]{1,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_45(){
  Integer[] is_0=new Integer[]{2,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_46(){
  Integer[] is_0=new Integer[]{3,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_47(){
  Integer[] is_0=new Integer[]{4,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_48(){
  Integer[] is_0=new Integer[]{1,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_49(){
  Integer[] is_0=new Integer[]{2,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_50(){
  Integer[] is_0=new Integer[]{3,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_51(){
  Integer[] is_0=new Integer[]{4,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_52(){
  Integer[] is_0=new Integer[]{1,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_53(){
  Integer[] is_0=new Integer[]{2,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_54(){
  Integer[] is_0=new Integer[]{3,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_55(){
  Integer[] is_0=new Integer[]{4,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_56(){
  Integer[] is_0=new Integer[]{1,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_57(){
  Integer[] is_0=new Integer[]{2,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_58(){
  Integer[] is_0=new Integer[]{3,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_59(){
  Integer[] is_0=new Integer[]{4,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_60(){
  Integer[] is_0=new Integer[]{1,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_61(){
  Integer[] is_0=new Integer[]{2,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_62(){
  Integer[] is_0=new Integer[]{3,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_63(){
  Integer[] is_0=new Integer[]{4,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_64(){
  Integer[] is_0=new Integer[]{1,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_65(){
  Integer[] is_0=new Integer[]{2,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_66(){
  Integer[] is_0=new Integer[]{3,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_67(){
  Integer[] is_0=new Integer[]{4,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_68(){
  Integer[] is_0=new Integer[]{1,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_69(){
  Integer[] is_0=new Integer[]{2,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_70(){
  Integer[] is_0=new Integer[]{3,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_71(){
  Integer[] is_0=new Integer[]{4,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_72(){
  Integer[] is_0=new Integer[]{1,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_73(){
  Integer[] is_0=new Integer[]{2,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_74(){
  Integer[] is_0=new Integer[]{3,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_75(){
  Integer[] is_0=new Integer[]{4,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_76(){
  Integer[] is_0=new Integer[]{1,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_77(){
  Integer[] is_0=new Integer[]{2,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_78(){
  Integer[] is_0=new Integer[]{3,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_79(){
  Integer[] is_0=new Integer[]{4,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_80(){
  Integer[] is_0=new Integer[]{1,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_81(){
  Integer[] is_0=new Integer[]{2,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_82(){
  Integer[] is_0=new Integer[]{3,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_83(){
  Integer[] is_0=new Integer[]{4,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_84(){
  Integer[] is_0=new Integer[]{1,1,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_85(){
  Integer[] is_0=new Integer[]{2,1,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_86(){
  Integer[] is_0=new Integer[]{3,1,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_87(){
  Integer[] is_0=new Integer[]{4,1,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_88(){
  Integer[] is_0=new Integer[]{1,2,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_89(){
  Integer[] is_0=new Integer[]{2,2,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_90(){
  Integer[] is_0=new Integer[]{3,2,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_91(){
  Integer[] is_0=new Integer[]{4,2,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_92(){
  Integer[] is_0=new Integer[]{1,3,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_93(){
  Integer[] is_0=new Integer[]{2,3,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_94(){
  Integer[] is_0=new Integer[]{3,3,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_95(){
  Integer[] is_0=new Integer[]{4,3,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_96(){
  Integer[] is_0=new Integer[]{1,4,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_97(){
  Integer[] is_0=new Integer[]{2,4,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_98(){
  Integer[] is_0=new Integer[]{3,4,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_99(){
  Integer[] is_0=new Integer[]{4,4,1,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_100(){
  Integer[] is_0=new Integer[]{1,1,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_101(){
  Integer[] is_0=new Integer[]{2,1,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_102(){
  Integer[] is_0=new Integer[]{3,1,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_103(){
  Integer[] is_0=new Integer[]{4,1,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_104(){
  Integer[] is_0=new Integer[]{1,2,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_105(){
  Integer[] is_0=new Integer[]{2,2,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_106(){
  Integer[] is_0=new Integer[]{3,2,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_107(){
  Integer[] is_0=new Integer[]{4,2,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_108(){
  Integer[] is_0=new Integer[]{1,3,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_109(){
  Integer[] is_0=new Integer[]{2,3,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_110(){
  Integer[] is_0=new Integer[]{3,3,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_111(){
  Integer[] is_0=new Integer[]{4,3,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_112(){
  Integer[] is_0=new Integer[]{1,4,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_113(){
  Integer[] is_0=new Integer[]{2,4,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_114(){
  Integer[] is_0=new Integer[]{3,4,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_115(){
  Integer[] is_0=new Integer[]{4,4,2,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_116(){
  Integer[] is_0=new Integer[]{1,1,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_117(){
  Integer[] is_0=new Integer[]{2,1,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_118(){
  Integer[] is_0=new Integer[]{3,1,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_119(){
  Integer[] is_0=new Integer[]{4,1,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_120(){
  Integer[] is_0=new Integer[]{1,2,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_121(){
  Integer[] is_0=new Integer[]{2,2,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_122(){
  Integer[] is_0=new Integer[]{3,2,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_123(){
  Integer[] is_0=new Integer[]{4,2,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_124(){
  Integer[] is_0=new Integer[]{1,3,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_125(){
  Integer[] is_0=new Integer[]{2,3,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_126(){
  Integer[] is_0=new Integer[]{3,3,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_127(){
  Integer[] is_0=new Integer[]{4,3,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_128(){
  Integer[] is_0=new Integer[]{1,4,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_129(){
  Integer[] is_0=new Integer[]{2,4,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_130(){
  Integer[] is_0=new Integer[]{3,4,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_131(){
  Integer[] is_0=new Integer[]{4,4,3,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_132(){
  Integer[] is_0=new Integer[]{1,1,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_133(){
  Integer[] is_0=new Integer[]{2,1,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_134(){
  Integer[] is_0=new Integer[]{3,1,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_135(){
  Integer[] is_0=new Integer[]{4,1,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_136(){
  Integer[] is_0=new Integer[]{1,2,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_137(){
  Integer[] is_0=new Integer[]{2,2,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_138(){
  Integer[] is_0=new Integer[]{3,2,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_139(){
  Integer[] is_0=new Integer[]{4,2,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_140(){
  Integer[] is_0=new Integer[]{1,3,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_141(){
  Integer[] is_0=new Integer[]{2,3,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_142(){
  Integer[] is_0=new Integer[]{3,3,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_143(){
  Integer[] is_0=new Integer[]{4,3,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_144(){
  Integer[] is_0=new Integer[]{1,4,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_145(){
  Integer[] is_0=new Integer[]{2,4,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_146(){
  Integer[] is_0=new Integer[]{3,4,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_147(){
  Integer[] is_0=new Integer[]{4,4,4,1};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_148(){
  Integer[] is_0=new Integer[]{1,1,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_149(){
  Integer[] is_0=new Integer[]{2,1,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_150(){
  Integer[] is_0=new Integer[]{3,1,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_151(){
  Integer[] is_0=new Integer[]{4,1,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_152(){
  Integer[] is_0=new Integer[]{1,2,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_153(){
  Integer[] is_0=new Integer[]{2,2,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_154(){
  Integer[] is_0=new Integer[]{3,2,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_155(){
  Integer[] is_0=new Integer[]{4,2,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_156(){
  Integer[] is_0=new Integer[]{1,3,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_157(){
  Integer[] is_0=new Integer[]{2,3,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_158(){
  Integer[] is_0=new Integer[]{3,3,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_159(){
  Integer[] is_0=new Integer[]{4,3,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_160(){
  Integer[] is_0=new Integer[]{1,4,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_161(){
  Integer[] is_0=new Integer[]{2,4,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_162(){
  Integer[] is_0=new Integer[]{3,4,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_163(){
  Integer[] is_0=new Integer[]{4,4,1,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_164(){
  Integer[] is_0=new Integer[]{1,1,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_165(){
  Integer[] is_0=new Integer[]{2,1,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_166(){
  Integer[] is_0=new Integer[]{3,1,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_167(){
  Integer[] is_0=new Integer[]{4,1,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_168(){
  Integer[] is_0=new Integer[]{1,2,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_169(){
  Integer[] is_0=new Integer[]{2,2,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_170(){
  Integer[] is_0=new Integer[]{3,2,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_171(){
  Integer[] is_0=new Integer[]{4,2,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_172(){
  Integer[] is_0=new Integer[]{1,3,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_173(){
  Integer[] is_0=new Integer[]{2,3,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_174(){
  Integer[] is_0=new Integer[]{3,3,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_175(){
  Integer[] is_0=new Integer[]{4,3,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_176(){
  Integer[] is_0=new Integer[]{1,4,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_177(){
  Integer[] is_0=new Integer[]{2,4,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_178(){
  Integer[] is_0=new Integer[]{3,4,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_179(){
  Integer[] is_0=new Integer[]{4,4,2,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_180(){
  Integer[] is_0=new Integer[]{1,1,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_181(){
  Integer[] is_0=new Integer[]{2,1,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_182(){
  Integer[] is_0=new Integer[]{3,1,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_183(){
  Integer[] is_0=new Integer[]{4,1,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_184(){
  Integer[] is_0=new Integer[]{1,2,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_185(){
  Integer[] is_0=new Integer[]{2,2,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_186(){
  Integer[] is_0=new Integer[]{3,2,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_187(){
  Integer[] is_0=new Integer[]{4,2,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_188(){
  Integer[] is_0=new Integer[]{1,3,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_189(){
  Integer[] is_0=new Integer[]{2,3,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_190(){
  Integer[] is_0=new Integer[]{3,3,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_191(){
  Integer[] is_0=new Integer[]{4,3,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_192(){
  Integer[] is_0=new Integer[]{1,4,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_193(){
  Integer[] is_0=new Integer[]{2,4,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_194(){
  Integer[] is_0=new Integer[]{3,4,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_195(){
  Integer[] is_0=new Integer[]{4,4,3,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_196(){
  Integer[] is_0=new Integer[]{1,1,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_197(){
  Integer[] is_0=new Integer[]{2,1,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_198(){
  Integer[] is_0=new Integer[]{3,1,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_199(){
  Integer[] is_0=new Integer[]{4,1,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_200(){
  Integer[] is_0=new Integer[]{1,2,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_201(){
  Integer[] is_0=new Integer[]{2,2,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_202(){
  Integer[] is_0=new Integer[]{3,2,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_203(){
  Integer[] is_0=new Integer[]{4,2,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_204(){
  Integer[] is_0=new Integer[]{1,3,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_205(){
  Integer[] is_0=new Integer[]{2,3,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_206(){
  Integer[] is_0=new Integer[]{3,3,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_207(){
  Integer[] is_0=new Integer[]{4,3,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_208(){
  Integer[] is_0=new Integer[]{1,4,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_209(){
  Integer[] is_0=new Integer[]{2,4,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_210(){
  Integer[] is_0=new Integer[]{3,4,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_211(){
  Integer[] is_0=new Integer[]{4,4,4,2};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_212(){
  Integer[] is_0=new Integer[]{1,1,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_213(){
  Integer[] is_0=new Integer[]{2,1,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_214(){
  Integer[] is_0=new Integer[]{3,1,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_215(){
  Integer[] is_0=new Integer[]{4,1,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_216(){
  Integer[] is_0=new Integer[]{1,2,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_217(){
  Integer[] is_0=new Integer[]{2,2,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_218(){
  Integer[] is_0=new Integer[]{3,2,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_219(){
  Integer[] is_0=new Integer[]{4,2,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_220(){
  Integer[] is_0=new Integer[]{1,3,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_221(){
  Integer[] is_0=new Integer[]{2,3,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_222(){
  Integer[] is_0=new Integer[]{3,3,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_223(){
  Integer[] is_0=new Integer[]{4,3,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_224(){
  Integer[] is_0=new Integer[]{1,4,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_225(){
  Integer[] is_0=new Integer[]{2,4,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_226(){
  Integer[] is_0=new Integer[]{3,4,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_227(){
  Integer[] is_0=new Integer[]{4,4,1,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_228(){
  Integer[] is_0=new Integer[]{1,1,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_229(){
  Integer[] is_0=new Integer[]{2,1,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_230(){
  Integer[] is_0=new Integer[]{3,1,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_231(){
  Integer[] is_0=new Integer[]{4,1,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_232(){
  Integer[] is_0=new Integer[]{1,2,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_233(){
  Integer[] is_0=new Integer[]{2,2,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_234(){
  Integer[] is_0=new Integer[]{3,2,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_235(){
  Integer[] is_0=new Integer[]{4,2,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_236(){
  Integer[] is_0=new Integer[]{1,3,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_237(){
  Integer[] is_0=new Integer[]{2,3,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_238(){
  Integer[] is_0=new Integer[]{3,3,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_239(){
  Integer[] is_0=new Integer[]{4,3,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_240(){
  Integer[] is_0=new Integer[]{1,4,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_241(){
  Integer[] is_0=new Integer[]{2,4,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_242(){
  Integer[] is_0=new Integer[]{3,4,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_243(){
  Integer[] is_0=new Integer[]{4,4,2,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_244(){
  Integer[] is_0=new Integer[]{1,1,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_245(){
  Integer[] is_0=new Integer[]{2,1,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_246(){
  Integer[] is_0=new Integer[]{3,1,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_247(){
  Integer[] is_0=new Integer[]{4,1,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_248(){
  Integer[] is_0=new Integer[]{1,2,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_249(){
  Integer[] is_0=new Integer[]{2,2,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_250(){
  Integer[] is_0=new Integer[]{3,2,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_251(){
  Integer[] is_0=new Integer[]{4,2,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_252(){
  Integer[] is_0=new Integer[]{1,3,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_253(){
  Integer[] is_0=new Integer[]{2,3,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_254(){
  Integer[] is_0=new Integer[]{3,3,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_255(){
  Integer[] is_0=new Integer[]{4,3,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_256(){
  Integer[] is_0=new Integer[]{1,4,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_257(){
  Integer[] is_0=new Integer[]{2,4,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_258(){
  Integer[] is_0=new Integer[]{3,4,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_259(){
  Integer[] is_0=new Integer[]{4,4,3,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_260(){
  Integer[] is_0=new Integer[]{1,1,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_261(){
  Integer[] is_0=new Integer[]{2,1,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_262(){
  Integer[] is_0=new Integer[]{3,1,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_263(){
  Integer[] is_0=new Integer[]{4,1,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_264(){
  Integer[] is_0=new Integer[]{1,2,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_265(){
  Integer[] is_0=new Integer[]{2,2,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_266(){
  Integer[] is_0=new Integer[]{3,2,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_267(){
  Integer[] is_0=new Integer[]{4,2,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_268(){
  Integer[] is_0=new Integer[]{1,3,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_269(){
  Integer[] is_0=new Integer[]{2,3,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_270(){
  Integer[] is_0=new Integer[]{3,3,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_271(){
  Integer[] is_0=new Integer[]{4,3,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_272(){
  Integer[] is_0=new Integer[]{1,4,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_273(){
  Integer[] is_0=new Integer[]{2,4,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_274(){
  Integer[] is_0=new Integer[]{3,4,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_275(){
  Integer[] is_0=new Integer[]{4,4,4,3};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_276(){
  Integer[] is_0=new Integer[]{1,1,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_277(){
  Integer[] is_0=new Integer[]{2,1,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_278(){
  Integer[] is_0=new Integer[]{3,1,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_279(){
  Integer[] is_0=new Integer[]{4,1,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_280(){
  Integer[] is_0=new Integer[]{1,2,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_281(){
  Integer[] is_0=new Integer[]{2,2,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_282(){
  Integer[] is_0=new Integer[]{3,2,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_283(){
  Integer[] is_0=new Integer[]{4,2,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_284(){
  Integer[] is_0=new Integer[]{1,3,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_285(){
  Integer[] is_0=new Integer[]{2,3,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_286(){
  Integer[] is_0=new Integer[]{3,3,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_287(){
  Integer[] is_0=new Integer[]{4,3,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_288(){
  Integer[] is_0=new Integer[]{1,4,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_289(){
  Integer[] is_0=new Integer[]{2,4,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_290(){
  Integer[] is_0=new Integer[]{3,4,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_291(){
  Integer[] is_0=new Integer[]{4,4,1,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_292(){
  Integer[] is_0=new Integer[]{1,1,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_293(){
  Integer[] is_0=new Integer[]{2,1,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_294(){
  Integer[] is_0=new Integer[]{3,1,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_295(){
  Integer[] is_0=new Integer[]{4,1,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_296(){
  Integer[] is_0=new Integer[]{1,2,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_297(){
  Integer[] is_0=new Integer[]{2,2,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_298(){
  Integer[] is_0=new Integer[]{3,2,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_299(){
  Integer[] is_0=new Integer[]{4,2,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_300(){
  Integer[] is_0=new Integer[]{1,3,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_301(){
  Integer[] is_0=new Integer[]{2,3,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_302(){
  Integer[] is_0=new Integer[]{3,3,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_303(){
  Integer[] is_0=new Integer[]{4,3,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_304(){
  Integer[] is_0=new Integer[]{1,4,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_305(){
  Integer[] is_0=new Integer[]{2,4,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_306(){
  Integer[] is_0=new Integer[]{3,4,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_307(){
  Integer[] is_0=new Integer[]{4,4,2,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_308(){
  Integer[] is_0=new Integer[]{1,1,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_309(){
  Integer[] is_0=new Integer[]{2,1,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_310(){
  Integer[] is_0=new Integer[]{3,1,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_311(){
  Integer[] is_0=new Integer[]{4,1,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_312(){
  Integer[] is_0=new Integer[]{1,2,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_313(){
  Integer[] is_0=new Integer[]{2,2,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_314(){
  Integer[] is_0=new Integer[]{3,2,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_315(){
  Integer[] is_0=new Integer[]{4,2,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_316(){
  Integer[] is_0=new Integer[]{1,3,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_317(){
  Integer[] is_0=new Integer[]{2,3,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_318(){
  Integer[] is_0=new Integer[]{3,3,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_319(){
  Integer[] is_0=new Integer[]{4,3,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_320(){
  Integer[] is_0=new Integer[]{1,4,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_321(){
  Integer[] is_0=new Integer[]{2,4,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_322(){
  Integer[] is_0=new Integer[]{3,4,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_323(){
  Integer[] is_0=new Integer[]{4,4,3,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_324(){
  Integer[] is_0=new Integer[]{1,1,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_325(){
  Integer[] is_0=new Integer[]{2,1,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_326(){
  Integer[] is_0=new Integer[]{3,1,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_327(){
  Integer[] is_0=new Integer[]{4,1,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_328(){
  Integer[] is_0=new Integer[]{1,2,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_329(){
  Integer[] is_0=new Integer[]{2,2,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_330(){
  Integer[] is_0=new Integer[]{3,2,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_331(){
  Integer[] is_0=new Integer[]{4,2,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_332(){
  Integer[] is_0=new Integer[]{1,3,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_333(){
  Integer[] is_0=new Integer[]{2,3,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_334(){
  Integer[] is_0=new Integer[]{3,3,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_335(){
  Integer[] is_0=new Integer[]{4,3,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_336(){
  Integer[] is_0=new Integer[]{1,4,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_337(){
  Integer[] is_0=new Integer[]{2,4,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_338(){
  Integer[] is_0=new Integer[]{3,4,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

public void testRemove_rep_339(){
  Integer[] is_0=new Integer[]{4,4,4,4};
  TreeMap map=new TreeMap();
  for (  int i : is_0) {
    map.put(i);
  }
  map.remove(Values.symbolicInt());
}

}